1381. Principia mathematica to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: (طهران)
موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
1382. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA9
.
W52
1997
1383. Principia mathematica to *56
پدیدآورنده : by Alfred North Whitehead and Bertrand Russell
موضوع : Mathematics -- Philosophy,Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1384. Principia mathematica : to * 56
پدیدآورنده : Whitehead, Alfred North, 1681-7491
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Mathematics -- Philosophy
رده :
QA
9
.
W5
1927
1385. Principia mathematica, to 56
پدیدآورنده : / by Alfred North Whitehead and Bertrand Russell
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical
رده :
QA9
.
W54
1978
1386. Principia mathematica, to *56
پدیدآورنده : Whitehead, Alfred North
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
W52
1997
1387. Principles of Mathematics
پدیدآورنده : \ Vladimir Lepetic
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy,ریاضیات -- فلسفه
رده :
E-Book
,
1388. Principles of mathematic
پدیدآورنده : / Bertrand Russell
کتابخانه: (طهران)
موضوع : ریاضیات, -- فلسفه,Mathematics - Philosophy
رده :
QA9
.
R8
1389. Principles of mathematic
پدیدآورنده : ]by[ Bertrand Russell, F.R.S,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Mathematics- Philosophy
رده :
QA
.
R88
9
1972
1390. Principles of mathematics
پدیدآورنده : [by] Bertrand Russell, F.R.S.
موضوع : Mathematics--Philosophy.
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
1391. Principles of mathematics
پدیدآورنده : Russell, Bertrand, 1872 - 1970
کتابخانه: (قم)
موضوع :
رده :
QA
9
.
R88
2010
1392. Principles of mathematics :
پدیدآورنده : Vladimir Lepetic.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Philosophy.
1393. Problems in the philosophy of mathematics : proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume. 1
پدیدآورنده : edited by Imre Lakatos
کتابخانه: (طهران)
موضوع : Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
I58
1965
1394. Problems in the philosophy of science
پدیدآورنده : Edited by Imre Lakatos )and( Alan Musgrave
کتابخانه: (طهران)
موضوع : Congresses ، Science -- Philosophy
رده :
Q
175
.
I518
1965
1395. Proceedings
پدیدآورنده : Tarski Symposium, 1791, University of California, Berkeley
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Mathematics-- Addresses, essays, lectures,، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Tarski, Alfred-- Bibliography
رده :
QA
7
.
T34
1971
1396. Proceedings of the Tarski Symposium : an International Symposium, held to Honor Alfered Tarski on the occasion of his seventieth birthday
پدیدآورنده : edited by Leon Henkin ... ]et al.[
کتابخانه: (طهران)
موضوع : Addresseys, essays, lectures ، Mathematics,Bibliography ، Tarski, Alfred,Addresses, essays, lectures ، Logic, Symbolic and mathematical
رده :
QA
1
.
P7
Vol
.
25
1397. Proceedings of the first logic congress : May 5-7, 1990 Tehran, Iran
پدیدآورنده : edited by S. Etemad, M.J.A. Larijani, Z. Movahed
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
9
.
L64
1990
1398. Proclus
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Plato,427?-347?- Early works to 1800,Neoplatonism - Early works to 1800,Theology - Early works to 1800,Euclid's Elements,Mathematics, Greek
1399. Program verification :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA76
.
76
.
V47
P764
2013
1400. Programming.architecture
پدیدآورنده : Coates, Paul S.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Data processing ، Architectural design,Mathematics ، Architectural design,Philosophy ، Architecture,، Computer-aided design,، Algorithms
رده :
NA
2728
.
C53
2010
